THE STATUS OF ARGUMENTS IN ABSTRACT ARGUMENTATION FRAMEWORKS. A TABLEAUX METHOD

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common see its treatment those less connected computer science within logical-philosophical community. In this paper we propose bring that audience a proof-theory for argument justification based on tableaux, very similar Logic students familiar with. The tableaux enable calculate whether an or subset arguments accepted rejected accordance preferred and grounded extension-based semantics. Soundness completeness results regarding semantics provided.